Proof theory - PDFSEARCH.IO - Document Search Engine

Proof theory
Results: 1637

#	Item
81	Cryptographic Protocols Spring 2015 Slides for Chapter 1 (6th lecture) Hamiltonian cycles Add to Reading List Source URL: www.crypto.ethz.ch Language: English - Date: 2015-03-30 06:00:41 Graph theory NP-complete problems Hamiltonian path Cycle Hamiltonian Zero-knowledge proof Hamiltonian path problem
82	DRAFT CODING METALANGUAGE: ISSUES RAISED IN THE CREATION AND PROCESSING OF SPECIALISED CORPORA Antoinette Renouf, University of Birmingham, England Add to Reading List Source URL: rdues.bcu.ac.uk Language: English - Date: 2009-05-21 10:50:54 Linguistics Language Culture Applied linguistics Metalanguages Metalogic Proof theory Corpus linguistics Metalinguistics Transcription
83	The Focused Calculus of Structures Kaustuv Chaudhuri, Nicolas Guenot, and Lutz Straßburger INRIA & LIX/École Polytechnique Route de Saclay, 91128 Palaiseau, France {kaustuv,nguenot,lutz}@lix.polytechnique.fr Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2011-06-22 07:54:11 Logic Proof theory Mathematical logic Sequent Linear logic Cut-elimination theorem Noncommutative logic Rule of inference Soundness Natural deduction CurryHoward correspondence
84	Parametricity and Proving Free Theorems for Functional-Logic Languages Stefan Mehner ∗ Daniel Seidel† Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-12-08 09:42:38 Theoretical computer science Models of computation Logic in computer science Mathematical logic Software engineering Denotational semantics Computability theory Symbol Proof theory Lambda calculus Generalised Whitehead product Programming Computable Functions
85	The ratio between the Toeplitz and the unstructured condition number Siegfried M. Rump and H. Sekigawa Abstract. Recently it was shown that the ratio between the normwise Toeplitz structured condition number of a linear Add to Reading List Source URL: www.ti3.tu-harburg.de Language: English - Date: 2008-01-09 07:58:25 Mathematical analysis Mathematics Approximation theory Chebyshev polynomials Normal distribution Exponentiation Bernoulli polynomials Proof that is irrational
86	An Automated Confluence Proof for an Infinite Rewrite System via a Gr¨obner Basis Computation Loredana Tec∗ Research Institute for Symbolic Computation, Johannes Kepler University, Castle of Hagenberg, Austria 4032 lt Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-07-11 12:18:59 Algebra Abstract algebra Mathematics Polynomials Ring theory Algebras Differential operator Multivariable calculus Operator theory Associative algebra D-module Differential algebra
87	ETH Zurich, Department of Computer Science FS 2015 Prof. Dr. Ueli Maurer Dr. Martin Hirt Sandro Coretti Add to Reading List Source URL: www.crypto.ethz.ch Language: English - Date: 2015-02-25 05:09:48 Cryptography Computational complexity theory Theory of computation Complexity classes Probabilistic complexity theory Public-key cryptography NP IP Proof of knowledge Zero-knowledge proof Random oracle FiatShamir heuristic
88	Parameterized Proof Complexity∗ Stefan Dantchev, Barnaby Martin, and Stefan Szeider Department of Computer Science Durham University, Durham, England, UK [s.s.dantchev,b.d.martin,stefan.szeider]@durham.ac.uk Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2009-11-10 10:56:36 Computational complexity theory Theory of computation Theoretical computer science NP-complete problems Complexity classes Logic in computer science Finite model theory Parameterized complexity Resolution Exponential time hypothesis Boolean satisfiability problem Conjunctive normal form
89	An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Theoretical computer science Mathematical logic Software engineering Computability theory Models of computation Logic in computer science Programming language semantics Denotational semantics Recursion Negation True quantified Boolean formula Mathematical proof
90	THE KERVAIRE INVARIANT ONE PROBLEM GRADUATE STUDENT SEMINAR SUMMER TERM 2014 MARKUS LAND Last semester we saw a proof of the following short exact sequence Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2014-03-18 11:26:34 Topology Mathematics Algebra Surgery theory Differential topology Homotopy theory Algebraic topology Quadratic forms Kervaire invariant Arf invariant Steenrod algebra Michel Kervaire

UPDATE